sortrel is package{

  R is relation {(1,2);(3,4);(1,2)};
  L is sort(R,<);
  
  BigR is all (Ix,Ix+1) where Ix in (iota(1000,1,-1) has type array of integer);

  main() do {
    logMsg(info, "L is $L");
    
--    logMsg(info,"$BigR");
    
    SortedBigR is sort(BigR,<);
    
--    logMsg(info,"$SortedBigR");
    
    assert SortedBigR = (all (Ix,Ix+1) where Ix in (iota(1,1000,1) has type array of integer));
  };
}